1. Computational logic
پدیدآورنده: edited by Ulrich Berger, Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic.
رده :
QA76
.
9
.
L63
E358
1999